Links to projects. Mathematical software, icms2006 : Developer's meetingLecture notes in computer science. 2006, pp 438-450, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 13 p.Conference Paper

Mathematical software (ICMS 2006)Iglesias, Andrés; Takayama, Nobuki.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-38084-1, 1Vol, XVII-452 p, isbn 3-540-38084-1Conference Proceedings

An interactive user interface for division algorithms and the Buchberger algorithmNAKAYAMA, Hiromasa.Lecture notes in computer science. 2006, pp 423-425, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 3 p.Conference Paper

Methods to access and retrieve mathematical content in ACTIVEMATHLIBBRECHT, Paul; MELIS, Erica.Lecture notes in computer science. 2006, pp 331-342, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 12 p.Conference Paper

The SARAG library : Some algorithms in real algebraic geometryCARUSO, Fabrizio.Lecture notes in computer science. 2006, pp 122-131, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 10 p.Conference Paper

An efficient implementation for computing gröbner bases over algebraic number fieldsNORO, Masayuki.Lecture notes in computer science. 2006, pp 99-109, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 11 p.Conference Paper

Making change and finding repfigits : Balancing a knapsackLICHTBLAU, Daniel.Lecture notes in computer science. 2006, pp 182-193, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 12 p.Conference Paper

MuPAD's graphics systemCREUTZIG, Christopher.Lecture notes in computer science. 2006, pp 86-98, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 13 p.Conference Paper

A general computational scheme for testing admissibility of nilpotent orbits of real lie groups of inner typeNOËL, Alfred G.Lecture notes in computer science. 2006, pp 1-11, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 11 p.Conference Paper

Algorithm and software for integration over a convex polyhedronKORENBLIT, Mark; SHMERLING, Efraim.Lecture notes in computer science. 2006, pp 273-283, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 11 p.Conference Paper

Experiment of multithreading symbolic and algebraic computations with OpenMPMURAO, Hirokazu.Lecture notes in computer science. 2006, pp 426-437, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 12 p.Conference Paper

Making research on symmetric functions with MuPAD-combinatDESCOUENS, Francois.Lecture notes in computer science. 2006, pp 407-418, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 12 p.Conference Paper

Development of NZMATHTETSUSHI, Matsui.Lecture notes in computer science. 2006, pp 158-169, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 12 p.Conference Paper

Logiweb : A system for web publication of mathematicsGRUE, Klaus.Lecture notes in computer science. 2006, pp 343-353, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 11 p.Conference Paper

Matlab-based problem-solving environment for geometric processing of surfacesGALVEZ, A; IGLESIAS, A.Lecture notes in computer science. 2006, pp 35-46, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 12 p.Conference Paper

On the GAP package sgpvizDELGADO, Manuel; MORAIS, José.Lecture notes in computer science. 2006, pp 403-406, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 4 p.Conference Paper

PLURAL, a non-commutative extension of singular : Past, present and futureLEVANDOVSKYY, Viktor.Lecture notes in computer science. 2006, pp 144-157, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 14 p.Conference Paper

Towards reliable software for the evaluation of a class of special functionsCUYT, Annie; BECUWE, Stefan.Lecture notes in computer science. 2006, pp 308-319, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 12 p.Conference Paper

A presentation of the gfan softwareJENSEN, Anders N.Lecture notes in computer science. 2006, pp 222-224, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 3 p.Conference Paper

iB4e : A software framework for parametrizing specialized LP problemsHUGGINS, Peter.Lecture notes in computer science. 2006, pp 245-247, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 3 p.Conference Paper

Stability of parametric decompositionYOKOYAMA, Kazuhiro.Lecture notes in computer science. 2006, pp 391-402, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 12 p.Conference Paper

Flexible object hierarchies in polymakeGAWRILOW, Ewgenij; JOSWIG, Michael.Lecture notes in computer science. 2006, pp 219-221, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 3 p.Conference Paper

Generation of oriented matroids using satisfiability solversSCHEWE, Lars.Lecture notes in computer science. 2006, pp 216-218, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 3 p.Conference Paper

Convergent SDP-relaxations for polynomial optimization with sparsityLASSERRE, Jean B.Lecture notes in computer science. 2006, pp 263-272, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 10 p.Conference Paper

GCLC : A tool for constructive euclidean geometry and more than thatJANICIC, Predrag.Lecture notes in computer science. 2006, pp 58-73, issn 0302-9743, isbn 3-540-38084-1, 1Vol, 16 p.Conference Paper